Μ operator - PDFSEARCH.IO - Document Search Engine

Μ operator
Results: 274

#	Item
71	Handlers of Algebraic Effects Gordon Plotkin ? and Matija Pretnar Add to Reading List Source URL: matija.pretnar.info Language: English - Date: 2014-10-06 03:14:23 Topology Symbol Denotational semantics Monad Model theory Sheaf Orbifold Μ operator Theoretical computer science Logic in computer science Mathematics
72	Econ Theory:1–21 DOIs00199z RESEARCH ARTICLE Infinite-horizon choice functions Geir B. Asheim · Walter Bossert · Add to Reading List Source URL: folk.uio.no Language: English - Date: 2010-02-13 12:43:29 Calculus Continuous function Function Bijection Social Choice and Individual Values Μ operator Mathematics Mathematical analysis Functions and mappings
73	Stable Dual Dynamic Programming Tao Wang Daniel Lizotte Michael Bowling Dale Schuurmans Department of Computing Science Add to Reading List Source URL: webdocs.cs.ualberta.ca Language: English - Date: 2007-10-21 19:53:48 Convex optimization Mathematical optimization Number theory Topological groups Markov decision process Linear programming Reinforcement learning Representation theory Μ operator Mathematics Algebra Operations research
74	CHENNAI MATHEMATICAL INSTITUTE M.Sc. / Ph.D. Programme in Computer Science Entrance Examination, 26 May 2011 This question paper has 6 printed sides. Part A has 10 questions of 3 marks each. Part B has 7 questions of 10 Add to Reading List Source URL: www.cmi.ac.in Language: English - Date: 2012-02-26 19:38:35 Μ operator Mathematics Function Factorization of polynomials over a finite field and irreducibility tests
75	Online Algorithms for Geographical Load Balancing Minghong Lin∗ , Zhenhua Liu∗ , Adam Wierman∗ , Lachlan L. H. Andrew† ∗ California Institute of Technology, Email: {mhlin,zhenhua,adamw}@caltech.edu † Swinburn Add to Reading List Source URL: www.caia.swin.edu.au Language: English - Date: 2012-05-15 01:49:17
76	Higher-Order Dynamic Pattern Unification for Dependent Types and Records Andreas Abel1 and Brigitte Pientka2 1 Institut f¨ Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2011-02-03 11:01:19 Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Function Model theory Linear temporal logic Μ operator Logic Mathematics Mathematical logic
77 $LATEX input [X] \begin{axdef} D \where P$	LATEX input [X] \begin{axdef} D \where P Add to Reading List Source URL: www.oracanada.com Language: English Theoretical computer science Function FO Filter Μ operator Outline of algebraic structures Mathematics Mathematical logic Functions and mappings
78	Considerations on Belief Revision in an Action Theory James Delgrande School of Computing Science Simon Fraser University Burnaby BC, V5A 1S6, Canada Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2012-08-16 12:45:43 Belief revision Knowledge representation Μ operator Modal logic Multiplicative order Proposition Linear temporal logic Logic Science Modular arithmetic
79	Static Validation of Dynamically Generated HTML Claus Brabrand, Anders Møller, and Michael I. Schwartzbach BRICS Department of Computer Science University of Aarhus, Denmark Add to Reading List Source URL: www.brics.dk Language: English - Date: 2001-05-23 06:43:27 Function Model theory Μ operator Mathematics Functions and mappings Limit
80	J MUSCAT 1 Introductory Mathematics Add to Reading List Source URL: staff.um.edu.mt Language: English - Date: 2009-03-05 06:40:09 Mathematical logic Model theory Entailment Universal quantification Μ operator Linear temporal logic Logic Mathematics Constructible universe